node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
node(126).
node(127).
node(128).
node(129).
node(130).
node(131).
node(132).
node(133).
node(134).
node(135).
node(136).
node(137).
node(138).
node(139).
node(140).
node(141).
node(142).
node(143).
node(144).
node(145).
node(146).
node(147).
node(148).
node(149).
node(150).
link(1,13) :- #0.355.
link(13,1) :- #0.054.
link(1,15) :- #0.173.
link(15,1) :- #0.934.
link(1,16) :- #0.34.
link(16,1) :- #0.113.
link(1,23) :- #0.46.
link(23,1) :- #0.765.
link(1,59) :- #0.522.
link(59,1) :- #0.34.
link(1,66) :- #0.727.
link(66,1) :- #0.022.
link(1,77) :- #0.921.
link(77,1) :- #0.293.
link(1,78) :- #0.084.
link(78,1) :- #0.846.
link(1,82) :- #0.76.
link(82,1) :- #0.316.
link(1,91) :- #0.526.
link(91,1) :- #0.582.
link(1,107) :- #0.073.
link(107,1) :- #0.269.
link(1,113) :- #0.071.
link(113,1) :- #0.095.
link(1,115) :- #0.267.
link(115,1) :- #0.307.
link(1,124) :- #0.053.
link(124,1) :- #0.254.
link(1,140) :- #0.169.
link(140,1) :- #0.24.
link(1,144) :- #0.113.
link(144,1) :- #0.254.
link(1,145) :- #0.299.
link(145,1) :- #0.818.
link(2,5) :- #0.983.
link(5,2) :- #0.747.
link(2,9) :- #0.317.
link(9,2) :- #0.563.
link(2,45) :- #0.389.
link(45,2) :- #0.444.
link(2,46) :- #0.576.
link(46,2) :- #0.158.
link(2,70) :- #0.869.
link(70,2) :- #0.793.
link(2,84) :- #0.47.
link(84,2) :- #0.597.
link(2,86) :- #0.103.
link(86,2) :- #0.084.
link(2,96) :- #0.793.
link(96,2) :- #0.168.
link(2,112) :- #0.548.
link(112,2) :- #0.286.
link(2,113) :- #0.695.
link(113,2) :- #0.341.
link(2,118) :- #0.12.
link(118,2) :- #0.536.
link(2,137) :- #0.316.
link(137,2) :- #0.033.
link(2,150) :- #0.028.
link(150,2) :- #0.522.
link(3,7) :- #0.833.
link(7,3) :- #0.593.
link(3,11) :- #0.192.
link(11,3) :- #0.54.
link(3,25) :- #0.173.
link(25,3) :- #0.858.
link(3,30) :- #0.3.
link(30,3) :- #0.208.
link(3,53) :- #0.887.
link(53,3) :- #0.626.
link(3,61) :- #0.064.
link(61,3) :- #0.319.
link(3,64) :- #0.877.
link(64,3) :- #0.74.
link(3,67) :- #0.819.
link(67,3) :- #0.143.
link(3,80) :- #0.468.
link(80,3) :- #0.394.
link(3,81) :- #0.817.
link(81,3) :- #0.141.
link(3,96) :- #0.434.
link(96,3) :- #0.358.
link(3,110) :- #0.351.
link(110,3) :- #0.237.
link(3,114) :- #0.55.
link(114,3) :- #0.108.
link(3,118) :- #0.921.
link(118,3) :- #0.047.
link(3,134) :- #0.161.
link(134,3) :- #0.657.
link(4,7) :- #0.524.
link(7,4) :- #0.847.
link(4,27) :- #0.603.
link(27,4) :- #0.602.
link(4,31) :- #0.852.
link(31,4) :- #0.378.
link(4,48) :- #0.545.
link(48,4) :- #0.101.
link(4,59) :- #0.699.
link(59,4) :- #0.26.
link(4,71) :- #0.877.
link(71,4) :- #0.301.
link(4,77) :- #0.55.
link(77,4) :- #0.722.
link(4,78) :- #0.459.
link(78,4) :- #0.084.
link(4,84) :- #0.68.
link(84,4) :- #0.488.
link(4,100) :- #0.278.
link(100,4) :- #0.743.
link(4,121) :- #0.685.
link(121,4) :- #0.924.
link(4,142) :- #0.49.
link(142,4) :- #0.517.
link(5,8) :- #0.428.
link(8,5) :- #0.474.
link(5,20) :- #0.77.
link(20,5) :- #0.571.
link(5,41) :- #0.455.
link(41,5) :- #0.807.
link(5,44) :- #0.006.
link(44,5) :- #0.322.
link(5,57) :- #0.136.
link(57,5) :- #0.218.
link(5,72) :- #0.713.
link(72,5) :- #0.59.
link(5,82) :- #0.611.
link(82,5) :- #0.373.
link(5,83) :- #0.857.
link(83,5) :- #0.535.
link(5,85) :- #0.96.
link(85,5) :- #0.297.
link(5,99) :- #0.874.
link(99,5) :- #0.032.
link(5,109) :- #0.501.
link(109,5) :- #0.307.
link(5,118) :- #0.28.
link(118,5) :- #0.007.
link(5,125) :- #0.247.
link(125,5) :- #0.759.
link(5,126) :- #0.121.
link(126,5) :- #0.421.
link(5,128) :- #0.193.
link(128,5) :- #0.77.
link(5,130) :- #0.668.
link(130,5) :- #0.205.
link(5,131) :- #0.325.
link(131,5) :- #0.366.
link(5,144) :- #0.951.
link(144,5) :- #0.503.
link(6,7) :- #0.147.
link(7,6) :- #0.628.
link(6,30) :- #0.338.
link(30,6) :- #0.497.
link(6,41) :- #0.771.
link(41,6) :- #0.763.
link(6,45) :- #0.085.
link(45,6) :- #0.561.
link(6,74) :- #0.495.
link(74,6) :- #0.445.
link(6,77) :- #0.356.
link(77,6) :- #0.353.
link(6,95) :- #0.646.
link(95,6) :- #0.18.
link(6,103) :- #0.339.
link(103,6) :- #0.033.
link(6,108) :- #0.705.
link(108,6) :- #0.819.
link(6,110) :- #0.735.
link(110,6) :- #0.341.
link(6,111) :- #0.305.
link(111,6) :- #0.947.
link(6,134) :- #0.845.
link(134,6) :- #0.805.
link(6,141) :- #0.31.
link(141,6) :- #0.886.
link(6,143) :- #0.081.
link(143,6) :- #0.433.
link(6,147) :- #0.304.
link(147,6) :- #0.21.
link(6,150) :- #0.489.
link(150,6) :- #0.681.
link(7,17) :- #0.398.
link(17,7) :- #0.09.
link(7,24) :- #0.834.
link(24,7) :- #0.11.
link(7,26) :- #0.353.
link(26,7) :- #0.941.
link(7,41) :- #0.136.
link(41,7) :- #0.562.
link(7,53) :- #0.802.
link(53,7) :- #0.683.
link(7,62) :- #0.799.
link(62,7) :- #0.979.
link(7,68) :- #0.484.
link(68,7) :- #0.54.
link(7,74) :- #0.798.
link(74,7) :- #0.555.
link(7,95) :- #0.237.
link(95,7) :- #0.724.
link(7,100) :- #0.563.
link(100,7) :- #0.137.
link(7,120) :- #0.344.
link(120,7) :- #0.054.
link(7,122) :- #0.405.
link(122,7) :- #0.833.
link(7,135) :- #0.187.
link(135,7) :- #0.76.
link(7,136) :- #0.769.
link(136,7) :- #0.32.
link(8,10) :- #0.061.
link(10,8) :- #0.358.
link(8,12) :- #0.256.
link(12,8) :- #0.31.
link(8,14) :- #0.984.
link(14,8) :- #0.775.
link(8,35) :- #0.899.
link(35,8) :- #0.939.
link(8,47) :- #0.187.
link(47,8) :- #0.38.
link(8,61) :- #0.553.
link(61,8) :- #0.355.
link(8,63) :- #0.359.
link(63,8) :- #0.438.
link(8,67) :- #0.419.
link(67,8) :- #0.476.
link(8,71) :- #0.042.
link(71,8) :- #0.861.
link(8,73) :- #0.616.
link(73,8) :- #0.59.
link(8,107) :- #0.726.
link(107,8) :- #0.171.
link(8,123) :- #0.655.
link(123,8) :- #0.366.
link(8,137) :- #0.205.
link(137,8) :- #0.953.
link(9,31) :- #0.545.
link(31,9) :- #0.52.
link(9,36) :- #0.599.
link(36,9) :- #0.049.
link(9,40) :- #0.744.
link(40,9) :- #0.377.
link(9,41) :- #0.995.
link(41,9) :- #0.39.
link(9,63) :- #0.098.
link(63,9) :- #0.136.
link(9,96) :- #0.821.
link(96,9) :- #0.1.
link(9,102) :- #0.355.
link(102,9) :- #0.754.
link(9,103) :- #0.507.
link(103,9) :- #0.882.
link(9,105) :- #0.512.
link(105,9) :- #0.909.
link(9,124) :- #0.766.
link(124,9) :- #0.13.
link(9,127) :- #0.669.
link(127,9) :- #0.833.
link(9,150) :- #0.212.
link(150,9) :- #0.86.
link(10,16) :- #0.851.
link(16,10) :- #0.523.
link(10,24) :- #0.242.
link(24,10) :- #0.817.
link(10,30) :- #0.249.
link(30,10) :- #0.626.
link(10,31) :- #0.155.
link(31,10) :- #0.66.
link(10,38) :- #0.195.
link(38,10) :- #0.547.
link(10,39) :- #0.615.
link(39,10) :- #0.435.
link(10,51) :- #0.049.
link(51,10) :- #0.913.
link(10,58) :- #0.521.
link(58,10) :- #0.811.
link(10,71) :- #0.669.
link(71,10) :- #0.76.
link(10,118) :- #0.589.
link(118,10) :- #0.244.
link(11,27) :- #0.777.
link(27,11) :- #0.716.
link(11,52) :- #0.696.
link(52,11) :- #0.09.
link(11,68) :- #0.865.
link(68,11) :- #0.212.
link(11,91) :- #0.128.
link(91,11) :- #0.278.
link(11,100) :- #0.229.
link(100,11) :- #0.625.
link(11,108) :- #0.99.
link(108,11) :- #0.635.
link(11,115) :- #0.694.
link(115,11) :- #0.221.
link(11,124) :- #0.283.
link(124,11) :- #0.989.
link(11,140) :- #0.023.
link(140,11) :- #0.358.
link(12,14) :- #0.882.
link(14,12) :- #0.516.
link(12,17) :- #0.064.
link(17,12) :- #0.416.
link(12,19) :- #0.016.
link(19,12) :- #0.956.
link(12,24) :- #0.345.
link(24,12) :- #0.084.
link(12,25) :- #0.948.
link(25,12) :- #0.794.
link(12,40) :- #0.1.
link(40,12) :- #0.627.
link(12,48) :- #0.719.
link(48,12) :- #0.676.
link(12,52) :- #0.967.
link(52,12) :- #0.526.
link(12,58) :- #0.686.
link(58,12) :- #0.307.
link(12,62) :- #0.783.
link(62,12) :- #0.888.
link(12,65) :- #0.773.
link(65,12) :- #0.257.
link(12,69) :- #0.787.
link(69,12) :- #0.557.
link(12,81) :- #0.06.
link(81,12) :- #0.113.
link(12,95) :- #0.99.
link(95,12) :- #0.062.
link(12,99) :- #0.388.
link(99,12) :- #0.697.
link(12,143) :- #0.583.
link(143,12) :- #0.056.
link(13,16) :- #0.917.
link(16,13) :- #0.776.
link(13,17) :- #0.952.
link(17,13) :- #0.666.
link(13,24) :- #0.942.
link(24,13) :- #0.31.
link(13,37) :- #0.507.
link(37,13) :- #0.057.
link(13,47) :- #0.391.
link(47,13) :- #0.445.
link(13,50) :- #0.998.
link(50,13) :- #0.225.
link(13,59) :- #0.249.
link(59,13) :- #0.781.
link(13,60) :- #0.08.
link(60,13) :- #0.833.
link(13,67) :- #0.033.
link(67,13) :- #0.986.
link(13,76) :- #0.344.
link(76,13) :- #0.143.
link(13,86) :- #0.465.
link(86,13) :- #0.275.
link(13,107) :- #0.087.
link(107,13) :- #0.387.
link(13,112) :- #0.675.
link(112,13) :- #0.278.
link(13,116) :- #0.337.
link(116,13) :- #0.414.
link(13,118) :- #0.859.
link(118,13) :- #0.997.
link(13,125) :- #0.845.
link(125,13) :- #0.99.
link(13,136) :- #0.985.
link(136,13) :- #0.119.
link(14,37) :- #0.258.
link(37,14) :- #0.664.
link(14,61) :- #0.289.
link(61,14) :- #0.631.
link(14,65) :- #0.75.
link(65,14) :- #0.809.
link(14,78) :- #0.247.
link(78,14) :- #0.117.
link(14,86) :- #0.272.
link(86,14) :- #0.957.
link(14,102) :- #0.038.
link(102,14) :- #0.08.
link(14,106) :- #0.884.
link(106,14) :- #0.389.
link(14,113) :- #0.16.
link(113,14) :- #0.371.
link(14,119) :- #0.597.
link(119,14) :- #0.522.
link(14,128) :- #0.597.
link(128,14) :- #0.069.
link(14,132) :- #0.745.
link(132,14) :- #0.725.
link(14,136) :- #0.341.
link(136,14) :- #0.681.
link(14,138) :- #0.271.
link(138,14) :- #0.044.
link(14,148) :- #0.091.
link(148,14) :- #0.198.
link(15,19) :- #0.81.
link(19,15) :- #0.929.
link(15,45) :- #0.777.
link(45,15) :- #0.548.
link(15,75) :- #0.203.
link(75,15) :- #0.454.
link(15,80) :- #0.33.
link(80,15) :- #0.235.
link(15,81) :- #0.765.
link(81,15) :- #0.056.
link(15,95) :- #0.713.
link(95,15) :- #0.252.
link(15,96) :- #0.301.
link(96,15) :- #0.221.
link(15,97) :- #0.843.
link(97,15) :- #0.551.
link(15,133) :- #0.68.
link(133,15) :- #0.465.
link(15,136) :- #0.289.
link(136,15) :- #0.804.
link(16,18) :- #0.566.
link(18,16) :- #0.979.
link(16,20) :- #0.877.
link(20,16) :- #0.833.
link(16,23) :- #0.342.
link(23,16) :- #0.212.
link(16,24) :- #0.801.
link(24,16) :- #0.737.
link(16,25) :- #0.032.
link(25,16) :- #0.975.
link(16,67) :- #0.026.
link(67,16) :- #0.418.
link(16,98) :- #0.236.
link(98,16) :- #0.368.
link(16,111) :- #0.654.
link(111,16) :- #0.225.
link(16,127) :- #0.258.
link(127,16) :- #0.18.
link(16,136) :- #0.089.
link(136,16) :- #0.845.
link(16,142) :- #0.382.
link(142,16) :- #0.812.
link(17,18) :- #0.864.
link(18,17) :- #0.254.
link(17,19) :- #0.922.
link(19,17) :- #0.17.
link(17,32) :- #0.764.
link(32,17) :- #0.545.
link(17,36) :- #0.347.
link(36,17) :- #0.017.
link(17,37) :- #0.534.
link(37,17) :- #0.188.
link(17,40) :- #0.724.
link(40,17) :- #0.772.
link(17,41) :- #0.004.
link(41,17) :- #0.86.
link(17,42) :- #0.276.
link(42,17) :- #0.581.
link(17,65) :- #0.825.
link(65,17) :- #0.313.
link(17,78) :- #0.415.
link(78,17) :- #0.283.
link(17,91) :- #0.208.
link(91,17) :- #0.988.
link(17,107) :- #0.702.
link(107,17) :- #0.758.
link(17,123) :- #0.768.
link(123,17) :- #0.693.
link(17,133) :- #0.275.
link(133,17) :- #0.567.
link(17,134) :- #0.94.
link(134,17) :- #0.783.
link(17,145) :- #0.25.
link(145,17) :- #0.067.
link(18,22) :- #0.767.
link(22,18) :- #0.91.
link(18,24) :- #0.764.
link(24,18) :- #0.669.
link(18,35) :- #0.547.
link(35,18) :- #0.803.
link(18,42) :- #0.054.
link(42,18) :- #0.107.
link(18,56) :- #0.688.
link(56,18) :- #0.111.
link(18,57) :- #0.412.
link(57,18) :- #0.663.
link(18,64) :- #0.829.
link(64,18) :- #0.409.
link(18,79) :- #0.893.
link(79,18) :- #0.093.
link(18,83) :- #0.287.
link(83,18) :- #0.092.
link(18,111) :- #0.194.
link(111,18) :- #0.337.
link(18,122) :- #0.962.
link(122,18) :- #0.204.
link(18,136) :- #0.571.
link(136,18) :- #0.245.
link(19,20) :- #0.121.
link(20,19) :- #0.025.
link(19,24) :- #0.829.
link(24,19) :- #0.977.
link(19,25) :- #0.957.
link(25,19) :- #0.635.
link(19,35) :- #0.033.
link(35,19) :- #0.109.
link(19,37) :- #0.166.
link(37,19) :- #0.829.
link(19,46) :- #0.403.
link(46,19) :- #0.941.
link(19,48) :- #0.253.
link(48,19) :- #0.07.
link(19,50) :- #0.092.
link(50,19) :- #0.076.
link(19,54) :- #0.163.
link(54,19) :- #0.134.
link(19,60) :- #0.725.
link(60,19) :- #0.947.
link(19,88) :- #0.5.
link(88,19) :- #0.296.
link(19,104) :- #0.381.
link(104,19) :- #0.851.
link(19,116) :- #0.063.
link(116,19) :- #0.228.
link(19,118) :- #0.64.
link(118,19) :- #0.979.
link(19,126) :- #0.181.
link(126,19) :- #0.928.
link(19,129) :- #0.339.
link(129,19) :- #0.402.
link(19,135) :- #0.035.
link(135,19) :- #0.375.
link(19,142) :- #0.27.
link(142,19) :- #0.526.
link(19,145) :- #0.487.
link(145,19) :- #0.893.
link(19,149) :- #0.632.
link(149,19) :- #0.963.
link(20,42) :- #0.197.
link(42,20) :- #0.436.
link(20,52) :- #0.85.
link(52,20) :- #0.406.
link(20,66) :- #0.79.
link(66,20) :- #0.8.
link(20,85) :- #0.375.
link(85,20) :- #0.975.
link(20,88) :- #0.628.
link(88,20) :- #0.738.
link(20,98) :- #0.354.
link(98,20) :- #0.788.
link(20,113) :- #0.107.
link(113,20) :- #0.708.
link(20,114) :- #0.936.
link(114,20) :- #0.499.
link(20,115) :- #0.209.
link(115,20) :- #0.782.
link(20,120) :- #0.612.
link(120,20) :- #0.143.
link(20,125) :- #0.224.
link(125,20) :- #0.529.
link(20,130) :- #0.889.
link(130,20) :- #0.482.
link(21,57) :- #0.559.
link(57,21) :- #0.44.
link(21,58) :- #0.974.
link(58,21) :- #0.769.
link(21,59) :- #0.48.
link(59,21) :- #0.066.
link(21,65) :- #0.921.
link(65,21) :- #0.462.
link(21,66) :- #0.671.
link(66,21) :- #0.98.
link(21,73) :- #0.878.
link(73,21) :- #0.207.
link(21,77) :- #0.811.
link(77,21) :- #0.471.
link(21,84) :- #0.065.
link(84,21) :- #0.743.
link(21,99) :- #0.81.
link(99,21) :- #0.422.
link(21,110) :- #0.874.
link(110,21) :- #0.373.
link(21,124) :- #0.308.
link(124,21) :- #0.739.
link(21,144) :- #0.697.
link(144,21) :- #0.792.
link(21,150) :- #0.953.
link(150,21) :- #0.45.
link(22,32) :- #0.733.
link(32,22) :- #0.42.
link(22,52) :- #0.435.
link(52,22) :- #0.684.
link(22,73) :- #0.132.
link(73,22) :- #0.653.
link(22,74) :- #0.302.
link(74,22) :- #0.333.
link(22,86) :- #0.305.
link(86,22) :- #0.45.
link(22,123) :- #0.038.
link(123,22) :- #0.763.
link(22,139) :- #0.506.
link(139,22) :- #0.453.
link(22,143) :- #0.394.
link(143,22) :- #0.095.
link(23,39) :- #0.675.
link(39,23) :- #0.938.
link(23,53) :- #0.467.
link(53,23) :- #0.986.
link(23,57) :- #0.855.
link(57,23) :- #0.65.
link(23,78) :- #0.97.
link(78,23) :- #0.476.
link(23,80) :- #0.006.
link(80,23) :- #0.388.
link(23,88) :- #0.438.
link(88,23) :- #0.146.
link(23,97) :- #0.956.
link(97,23) :- #0.552.
link(23,99) :- #0.988.
link(99,23) :- #0.069.
link(23,101) :- #0.151.
link(101,23) :- #0.061.
link(23,134) :- #0.767.
link(134,23) :- #0.517.
link(23,148) :- #0.547.
link(148,23) :- #0.76.
link(23,150) :- #0.179.
link(150,23) :- #0.369.
link(24,31) :- #0.789.
link(31,24) :- #0.821.
link(24,32) :- #0.719.
link(32,24) :- #0.252.
link(24,43) :- #0.003.
link(43,24) :- #0.622.
link(24,48) :- #0.05.
link(48,24) :- #0.387.
link(24,49) :- #0.331.
link(49,24) :- #0.049.
link(24,50) :- #0.534.
link(50,24) :- #0.679.
link(24,60) :- #0.389.
link(60,24) :- #0.482.
link(24,64) :- #0.562.
link(64,24) :- #0.904.
link(24,73) :- #0.321.
link(73,24) :- #0.303.
link(24,86) :- #0.618.
link(86,24) :- #0.832.
link(24,94) :- #0.123.
link(94,24) :- #0.5.
link(24,109) :- #0.556.
link(109,24) :- #0.411.
link(24,122) :- #0.375.
link(122,24) :- #0.922.
link(24,126) :- #0.023.
link(126,24) :- #0.589.
link(24,129) :- #0.11.
link(129,24) :- #0.072.
link(24,137) :- #0.602.
link(137,24) :- #0.255.
link(25,43) :- #0.985.
link(43,25) :- #0.028.
link(25,60) :- #0.066.
link(60,25) :- #0.988.
link(25,61) :- #0.33.
link(61,25) :- #0.453.
link(25,69) :- #0.125.
link(69,25) :- #0.557.
link(25,93) :- #0.656.
link(93,25) :- #0.455.
link(25,109) :- #0.393.
link(109,25) :- #0.414.
link(25,135) :- #0.331.
link(135,25) :- #0.986.
link(25,138) :- #0.564.
link(138,25) :- #0.01.
link(25,144) :- #0.913.
link(144,25) :- #0.978.
link(26,28) :- #0.345.
link(28,26) :- #0.549.
link(26,33) :- #0.979.
link(33,26) :- #0.462.
link(26,50) :- #0.841.
link(50,26) :- #0.763.
link(26,54) :- #0.702.
link(54,26) :- #0.854.
link(26,58) :- #0.213.
link(58,26) :- #0.234.
link(26,70) :- #0.123.
link(70,26) :- #0.543.
link(26,73) :- #0.579.
link(73,26) :- #0.195.
link(26,80) :- #0.574.
link(80,26) :- #0.057.
link(26,82) :- #0.883.
link(82,26) :- #0.62.
link(26,90) :- #0.53.
link(90,26) :- #0.821.
link(26,93) :- #0.385.
link(93,26) :- #0.56.
link(26,109) :- #0.831.
link(109,26) :- #0.828.
link(26,110) :- #0.385.
link(110,26) :- #0.286.
link(26,120) :- #0.577.
link(120,26) :- #0.07.
link(26,150) :- #0.986.
link(150,26) :- #0.144.
link(27,28) :- #0.518.
link(28,27) :- #0.087.
link(27,47) :- #0.07.
link(47,27) :- #0.323.
link(27,55) :- #0.687.
link(55,27) :- #0.466.
link(27,60) :- #0.163.
link(60,27) :- #0.791.
link(27,64) :- #0.718.
link(64,27) :- #0.028.
link(27,67) :- #0.519.
link(67,27) :- #0.747.
link(27,68) :- #0.438.
link(68,27) :- #0.077.
link(27,75) :- #0.25.
link(75,27) :- #0.404.
link(27,92) :- #0.143.
link(92,27) :- #0.753.
link(27,104) :- #0.749.
link(104,27) :- #0.958.
link(27,112) :- #0.603.
link(112,27) :- #0.701.
link(27,119) :- #0.41.
link(119,27) :- #0.303.
link(27,138) :- #0.391.
link(138,27) :- #0.086.
link(28,37) :- #0.014.
link(37,28) :- #0.414.
link(28,43) :- #0.11.
link(43,28) :- #0.251.
link(28,48) :- #0.048.
link(48,28) :- #0.109.
link(28,68) :- #0.598.
link(68,28) :- #0.847.
link(28,69) :- #0.269.
link(69,28) :- #0.107.
link(28,71) :- #0.07.
link(71,28) :- #0.205.
link(28,76) :- #0.465.
link(76,28) :- #0.188.
link(28,81) :- #0.384.
link(81,28) :- #0.707.
link(28,89) :- #0.375.
link(89,28) :- #0.916.
link(28,118) :- #0.569.
link(118,28) :- #0.289.
link(28,119) :- #0.343.
link(119,28) :- #0.531.
link(28,125) :- #0.187.
link(125,28) :- #0.405.
link(28,128) :- #0.26.
link(128,28) :- #0.429.
link(28,132) :- #0.862.
link(132,28) :- #0.518.
link(28,136) :- #0.671.
link(136,28) :- #0.368.
link(28,141) :- #0.041.
link(141,28) :- #0.568.
link(28,143) :- #0.53.
link(143,28) :- #0.341.
link(28,144) :- #0.001.
link(144,28) :- #0.868.
link(28,147) :- #0.543.
link(147,28) :- #0.727.
link(29,35) :- #0.881.
link(35,29) :- #0.584.
link(29,37) :- #0.496.
link(37,29) :- #0.148.
link(29,43) :- #0.672.
link(43,29) :- #0.384.
link(29,44) :- #0.613.
link(44,29) :- #0.612.
link(29,58) :- #0.208.
link(58,29) :- #0.956.
link(29,63) :- #0.166.
link(63,29) :- #0.402.
link(29,74) :- #0.204.
link(74,29) :- #0.281.
link(29,89) :- #0.061.
link(89,29) :- #0.494.
link(29,94) :- #0.812.
link(94,29) :- #0.392.
link(29,99) :- #0.525.
link(99,29) :- #0.491.
link(29,127) :- #0.307.
link(127,29) :- #0.624.
link(29,148) :- #0.659.
link(148,29) :- #0.284.
link(29,150) :- #0.802.
link(150,29) :- #0.408.
link(30,44) :- #0.362.
link(44,30) :- #0.52.
link(30,45) :- #0.057.
link(45,30) :- #0.533.
link(30,61) :- #0.872.
link(61,30) :- #0.064.
link(30,71) :- #0.853.
link(71,30) :- #0.593.
link(30,88) :- #0.93.
link(88,30) :- #0.582.
link(30,93) :- #0.074.
link(93,30) :- #0.452.
link(30,106) :- #0.984.
link(106,30) :- #0.403.
link(30,108) :- #0.992.
link(108,30) :- #0.795.
link(30,114) :- #0.027.
link(114,30) :- #0.463.
link(30,116) :- #0.613.
link(116,30) :- #0.912.
link(30,119) :- #0.89.
link(119,30) :- #0.224.
link(30,141) :- #0.648.
link(141,30) :- #0.404.
link(30,149) :- #0.389.
link(149,30) :- #0.533.
link(31,34) :- #0.523.
link(34,31) :- #0.392.
link(31,43) :- #0.572.
link(43,31) :- #0.821.
link(31,55) :- #0.987.
link(55,31) :- #0.591.
link(31,61) :- #0.92.
link(61,31) :- #0.405.
link(31,88) :- #0.608.
link(88,31) :- #0.35.
link(31,90) :- #0.251.
link(90,31) :- #0.821.
link(31,105) :- #0.714.
link(105,31) :- #0.829.
link(31,118) :- #0.908.
link(118,31) :- #0.755.
link(32,34) :- #0.988.
link(34,32) :- #0.201.
link(32,43) :- #0.864.
link(43,32) :- #0.589.
link(32,56) :- #0.663.
link(56,32) :- #0.292.
link(32,58) :- #0.27.
link(58,32) :- #0.54.
link(32,62) :- #0.443.
link(62,32) :- #0.078.
link(32,74) :- #0.832.
link(74,32) :- #0.819.
link(32,78) :- #0.466.
link(78,32) :- #0.72.
link(32,82) :- #0.894.
link(82,32) :- #0.733.
link(32,108) :- #0.588.
link(108,32) :- #0.46.
link(33,45) :- #0.043.
link(45,33) :- #0.828.
link(33,55) :- #0.518.
link(55,33) :- #0.207.
link(33,60) :- #0.264.
link(60,33) :- #0.639.
link(33,80) :- #0.94.
link(80,33) :- #0.383.
link(33,85) :- #0.596.
link(85,33) :- #0.376.
link(33,86) :- #0.286.
link(86,33) :- #0.914.
link(33,96) :- #0.942.
link(96,33) :- #0.759.
link(33,107) :- #0.618.
link(107,33) :- #0.754.
link(33,125) :- #0.14.
link(125,33) :- #0.674.
link(33,139) :- #0.695.
link(139,33) :- #0.101.
link(33,145) :- #0.919.
link(145,33) :- #0.168.
link(33,150) :- #0.416.
link(150,33) :- #0.493.
link(34,53) :- #0.572.
link(53,34) :- #0.607.
link(34,69) :- #0.001.
link(69,34) :- #0.058.
link(34,75) :- #0.489.
link(75,34) :- #0.401.
link(34,81) :- #0.512.
link(81,34) :- #0.583.
link(34,90) :- #0.427.
link(90,34) :- #0.103.
link(34,98) :- #0.064.
link(98,34) :- #0.398.
link(34,101) :- #0.125.
link(101,34) :- #0.84.
link(34,106) :- #0.881.
link(106,34) :- #0.874.
link(34,112) :- #0.589.
link(112,34) :- #0.995.
link(34,115) :- #0.378.
link(115,34) :- #0.948.
link(34,116) :- #0.736.
link(116,34) :- #0.691.
link(34,124) :- #0.791.
link(124,34) :- #0.427.
link(34,128) :- #0.803.
link(128,34) :- #0.716.
link(34,132) :- #0.595.
link(132,34) :- #0.937.
link(34,134) :- #0.849.
link(134,34) :- #0.755.
link(34,138) :- #0.416.
link(138,34) :- #0.477.
link(35,46) :- #0.059.
link(46,35) :- #0.624.
link(35,55) :- #0.493.
link(55,35) :- #0.493.
link(35,72) :- #0.466.
link(72,35) :- #0.292.
link(35,75) :- #0.688.
link(75,35) :- #0.625.
link(35,85) :- #0.131.
link(85,35) :- #0.795.
link(35,92) :- #0.517.
link(92,35) :- #0.486.
link(35,107) :- #0.802.
link(107,35) :- #0.479.
link(35,117) :- #0.016.
link(117,35) :- #0.721.
link(35,118) :- #0.414.
link(118,35) :- #0.695.
link(35,120) :- #0.112.
link(120,35) :- #0.652.
link(35,127) :- #0.676.
link(127,35) :- #0.148.
link(35,149) :- #0.358.
link(149,35) :- #0.97.
link(35,150) :- #0.735.
link(150,35) :- #0.188.
link(36,37) :- #0.992.
link(37,36) :- #0.495.
link(36,39) :- #0.056.
link(39,36) :- #0.701.
link(36,69) :- #0.471.
link(69,36) :- #0.243.
link(36,70) :- #0.023.
link(70,36) :- #0.996.
link(36,77) :- #0.416.
link(77,36) :- #0.935.
link(36,81) :- #0.139.
link(81,36) :- #0.383.
link(36,86) :- #0.864.
link(86,36) :- #0.184.
link(36,90) :- #0.504.
link(90,36) :- #0.852.
link(36,98) :- #0.303.
link(98,36) :- #0.807.
link(36,112) :- #0.414.
link(112,36) :- #0.363.
link(36,149) :- #0.062.
link(149,36) :- #0.706.
link(37,52) :- #0.667.
link(52,37) :- #0.278.
link(37,77) :- #0.705.
link(77,37) :- #0.318.
link(37,84) :- #0.321.
link(84,37) :- #0.424.
link(37,97) :- #0.36.
link(97,37) :- #0.689.
link(37,102) :- #0.319.
link(102,37) :- #0.119.
link(37,112) :- #0.788.
link(112,37) :- #0.307.
link(37,118) :- #0.523.
link(118,37) :- #0.359.
link(37,144) :- #0.137.
link(144,37) :- #0.193.
link(38,45) :- #0.911.
link(45,38) :- #0.734.
link(38,52) :- #0.934.
link(52,38) :- #0.679.
link(38,93) :- #0.266.
link(93,38) :- #0.635.
link(38,97) :- #0.136.
link(97,38) :- #0.329.
link(38,116) :- #0.766.
link(116,38) :- #0.988.
link(38,123) :- #0.013.
link(123,38) :- #0.722.
link(38,124) :- #0.018.
link(124,38) :- #0.215.
link(38,126) :- #0.874.
link(126,38) :- #0.98.
link(38,127) :- #0.95.
link(127,38) :- #0.01.
link(38,132) :- #0.201.
link(132,38) :- #0.079.
link(38,135) :- #0.375.
link(135,38) :- #0.945.
link(38,142) :- #0.473.
link(142,38) :- #0.947.
link(38,144) :- #0.325.
link(144,38) :- #0.029.
link(39,48) :- #0.909.
link(48,39) :- #0.048.
link(39,52) :- #0.212.
link(52,39) :- #0.353.
link(39,53) :- #0.761.
link(53,39) :- #0.716.
link(39,67) :- #0.756.
link(67,39) :- #0.443.
link(39,80) :- #0.547.
link(80,39) :- #0.52.
link(39,87) :- #0.199.
link(87,39) :- #0.223.
link(39,98) :- #0.459.
link(98,39) :- #0.989.
link(39,102) :- #0.503.
link(102,39) :- #0.698.
link(39,109) :- #0.882.
link(109,39) :- #0.332.
link(40,43) :- #0.092.
link(43,40) :- #0.843.
link(40,61) :- #0.61.
link(61,40) :- #0.299.
link(40,89) :- #0.631.
link(89,40) :- #0.476.
link(40,103) :- #0.673.
link(103,40) :- #0.992.
link(40,104) :- #0.651.
link(104,40) :- #0.423.
link(40,111) :- #0.212.
link(111,40) :- #0.539.
link(40,119) :- #0.62.
link(119,40) :- #0.143.
link(40,120) :- #0.121.
link(120,40) :- #0.773.
link(40,122) :- #0.662.
link(122,40) :- #0.739.
link(40,129) :- #0.155.
link(129,40) :- #0.985.
link(40,148) :- #0.46.
link(148,40) :- #0.431.
link(41,52) :- #0.457.
link(52,41) :- #0.933.
link(41,61) :- #0.284.
link(61,41) :- #0.73.
link(41,72) :- #0.177.
link(72,41) :- #0.447.
link(41,77) :- #0.197.
link(77,41) :- #0.806.
link(41,78) :- #0.589.
link(78,41) :- #0.375.
link(41,81) :- #0.876.
link(81,41) :- #0.418.
link(41,105) :- #0.526.
link(105,41) :- #0.511.
link(41,122) :- #0.288.
link(122,41) :- #0.084.
link(41,131) :- #0.367.
link(131,41) :- #0.44.
link(41,138) :- #0.521.
link(138,41) :- #0.228.
link(41,142) :- #0.415.
link(142,41) :- #0.453.
link(41,145) :- #0.161.
link(145,41) :- #0.394.
link(41,147) :- #0.447.
link(147,41) :- #0.607.
link(41,150) :- #0.704.
link(150,41) :- #0.513.
link(42,55) :- #0.156.
link(55,42) :- #0.268.
link(42,61) :- #0.016.
link(61,42) :- #0.739.
link(42,72) :- #0.136.
link(72,42) :- #0.821.
link(42,73) :- #0.99.
link(73,42) :- #0.831.
link(42,102) :- #0.078.
link(102,42) :- #0.482.
link(42,110) :- #0.316.
link(110,42) :- #0.04.
link(42,115) :- #0.891.
link(115,42) :- #0.82.
link(42,127) :- #0.082.
link(127,42) :- #0.344.
link(42,141) :- #0.925.
link(141,42) :- #0.81.
link(42,148) :- #0.326.
link(148,42) :- #0.733.
link(43,46) :- #0.32.
link(46,43) :- #0.352.
link(43,50) :- #0.353.
link(50,43) :- #0.491.
link(43,51) :- #0.483.
link(51,43) :- #0.505.
link(43,122) :- #0.798.
link(122,43) :- #0.705.
link(43,133) :- #0.645.
link(133,43) :- #0.364.
link(43,136) :- #0.784.
link(136,43) :- #0.969.
link(43,148) :- #0.58.
link(148,43) :- #0.236.
link(44,46) :- #0.147.
link(46,44) :- #0.575.
link(44,62) :- #0.596.
link(62,44) :- #0.327.
link(44,89) :- #0.279.
link(89,44) :- #0.933.
link(44,105) :- #0.459.
link(105,44) :- #0.633.
link(44,109) :- #0.456.
link(109,44) :- #0.154.
link(44,114) :- #0.592.
link(114,44) :- #0.65.
link(44,122) :- #0.465.
link(122,44) :- #0.225.
link(44,129) :- #0.747.
link(129,44) :- #0.226.
link(44,139) :- #0.264.
link(139,44) :- #0.145.
link(44,141) :- #0.916.
link(141,44) :- #0.738.
link(44,143) :- #0.444.
link(143,44) :- #0.419.
link(44,147) :- #0.905.
link(147,44) :- #0.356.
link(45,47) :- #0.379.
link(47,45) :- #0.064.
link(45,49) :- #0.287.
link(49,45) :- #0.617.
link(45,51) :- #0.41.
link(51,45) :- #0.405.
link(45,56) :- #0.074.
link(56,45) :- #0.773.
link(45,72) :- #0.874.
link(72,45) :- #0.661.
link(45,75) :- #0.875.
link(75,45) :- #0.216.
link(45,77) :- #0.719.
link(77,45) :- #0.297.
link(45,89) :- #0.719.
link(89,45) :- #0.084.
link(45,109) :- #0.026.
link(109,45) :- #0.077.
link(45,117) :- #0.341.
link(117,45) :- #0.335.
link(45,121) :- #0.756.
link(121,45) :- #0.432.
link(45,127) :- #0.306.
link(127,45) :- #0.883.
link(45,133) :- #0.208.
link(133,45) :- #0.347.
link(45,150) :- #0.916.
link(150,45) :- #0.036.
link(46,62) :- #0.929.
link(62,46) :- #0.342.
link(46,72) :- #0.541.
link(72,46) :- #0.402.
link(46,81) :- #0.648.
link(81,46) :- #0.879.
link(46,91) :- #0.906.
link(91,46) :- #0.707.
link(46,101) :- #0.198.
link(101,46) :- #0.672.
link(46,116) :- #0.36.
link(116,46) :- #0.797.
link(46,117) :- #0.51.
link(117,46) :- #0.987.
link(46,125) :- #0.225.
link(125,46) :- #0.323.
link(46,126) :- #0.827.
link(126,46) :- #0.132.
link(46,134) :- #0.967.
link(134,46) :- #0.694.
link(46,136) :- #0.991.
link(136,46) :- #0.6.
link(46,140) :- #0.764.
link(140,46) :- #0.502.
link(46,141) :- #0.46.
link(141,46) :- #0.763.
link(46,142) :- #0.668.
link(142,46) :- #0.502.
link(46,150) :- #0.994.
link(150,46) :- #0.825.
link(47,54) :- #0.437.
link(54,47) :- #0.782.
link(47,63) :- #0.19.
link(63,47) :- #0.98.
link(47,70) :- #0.179.
link(70,47) :- #0.054.
link(47,77) :- #0.45.
link(77,47) :- #0.122.
link(47,79) :- #0.736.
link(79,47) :- #0.189.
link(47,88) :- #0.042.
link(88,47) :- #0.077.
link(47,92) :- #0.376.
link(92,47) :- #0.579.
link(47,103) :- #0.578.
link(103,47) :- #0.478.
link(47,125) :- #0.508.
link(125,47) :- #0.562.
link(47,128) :- #0.159.
link(128,47) :- #0.157.
link(47,136) :- #0.151.
link(136,47) :- #0.641.
link(47,140) :- #0.164.
link(140,47) :- #0.097.
link(48,49) :- #0.428.
link(49,48) :- #0.29.
link(48,97) :- #0.018.
link(97,48) :- #0.712.
link(48,106) :- #0.174.
link(106,48) :- #0.665.
link(48,114) :- #0.504.
link(114,48) :- #0.83.
link(48,117) :- #0.383.
link(117,48) :- #0.094.
link(48,130) :- #0.246.
link(130,48) :- #0.429.
link(49,54) :- #0.864.
link(54,49) :- #0.884.
link(49,91) :- #0.736.
link(91,49) :- #0.752.
link(49,94) :- #0.524.
link(94,49) :- #0.228.
link(49,100) :- #0.897.
link(100,49) :- #0.129.
link(49,102) :- #0.811.
link(102,49) :- #0.07.
link(49,106) :- #0.156.
link(106,49) :- #0.07.
link(49,112) :- #0.297.
link(112,49) :- #0.008.
link(49,116) :- #0.628.
link(116,49) :- #0.141.
link(49,125) :- #0.208.
link(125,49) :- #0.204.
link(49,128) :- #0.546.
link(128,49) :- #0.783.
link(50,82) :- #0.135.
link(82,50) :- #0.898.
link(50,85) :- #0.83.
link(85,50) :- #0.82.
link(50,90) :- #0.612.
link(90,50) :- #0.328.
link(50,100) :- #0.667.
link(100,50) :- #0.346.
link(50,103) :- #0.847.
link(103,50) :- #0.47.
link(50,121) :- #0.634.
link(121,50) :- #0.374.
link(50,125) :- #0.489.
link(125,50) :- #0.159.
link(50,137) :- #0.864.
link(137,50) :- #0.927.
link(50,139) :- #0.931.
link(139,50) :- #0.425.
link(51,76) :- #0.666.
link(76,51) :- #0.633.
link(51,81) :- #0.529.
link(81,51) :- #0.726.
link(51,84) :- #0.149.
link(84,51) :- #0.697.
link(51,105) :- #0.188.
link(105,51) :- #0.541.
link(51,106) :- #0.572.
link(106,51) :- #0.91.
link(51,108) :- #0.727.
link(108,51) :- #0.171.
link(51,112) :- #0.217.
link(112,51) :- #0.004.
link(51,123) :- #0.049.
link(123,51) :- #0.83.
link(51,125) :- #0.641.
link(125,51) :- #0.635.
link(51,129) :- #0.531.
link(129,51) :- #0.087.
link(51,131) :- #0.624.
link(131,51) :- #0.223.
link(51,132) :- #0.958.
link(132,51) :- #0.406.
link(51,145) :- #0.278.
link(145,51) :- #0.023.
link(52,53) :- #0.162.
link(53,52) :- #0.25.
link(52,63) :- #0.712.
link(63,52) :- #0.507.
link(52,80) :- #0.013.
link(80,52) :- #0.595.
link(52,103) :- #0.71.
link(103,52) :- #0.637.
link(52,112) :- #0.396.
link(112,52) :- #0.346.
link(52,120) :- #0.984.
link(120,52) :- #0.685.
link(52,121) :- #0.817.
link(121,52) :- #0.563.
link(52,126) :- #0.051.
link(126,52) :- #0.336.
link(52,138) :- #0.644.
link(138,52) :- #0.374.
link(52,139) :- #0.286.
link(139,52) :- #0.066.
link(53,81) :- #0.157.
link(81,53) :- #0.323.
link(53,82) :- #0.795.
link(82,53) :- #0.768.
link(53,92) :- #0.192.
link(92,53) :- #0.706.
link(53,93) :- #0.578.
link(93,53) :- #0.961.
link(53,96) :- #0.688.
link(96,53) :- #0.331.
link(53,111) :- #0.846.
link(111,53) :- #0.264.
link(53,120) :- #0.843.
link(120,53) :- #0.423.
link(53,134) :- #0.077.
link(134,53) :- #0.329.
link(53,148) :- #0.284.
link(148,53) :- #0.984.
link(53,149) :- #0.469.
link(149,53) :- #0.719.
link(54,83) :- #0.999.
link(83,54) :- #0.405.
link(54,85) :- #0.234.
link(85,54) :- #0.065.
link(54,101) :- #0.084.
link(101,54) :- #0.268.
link(54,119) :- #0.889.
link(119,54) :- #0.786.
link(54,137) :- #0.442.
link(137,54) :- #0.856.
link(54,138) :- #0.378.
link(138,54) :- #0.099.
link(54,140) :- #0.559.
link(140,54) :- #0.47.
link(54,143) :- #0.846.
link(143,54) :- #0.541.
link(54,144) :- #0.681.
link(144,54) :- #0.386.
link(54,146) :- #0.82.
link(146,54) :- #0.663.
link(55,64) :- #0.119.
link(64,55) :- #0.35.
link(55,105) :- #0.094.
link(105,55) :- #0.545.
link(55,109) :- #0.745.
link(109,55) :- #0.503.
link(55,111) :- #0.885.
link(111,55) :- #0.778.
link(55,141) :- #0.86.
link(141,55) :- #0.419.
link(56,57) :- #0.692.
link(57,56) :- #0.125.
link(56,65) :- #0.753.
link(65,56) :- #0.395.
link(56,71) :- #0.663.
link(71,56) :- #0.281.
link(56,80) :- #0.082.
link(80,56) :- #0.997.
link(56,82) :- #0.944.
link(82,56) :- #0.553.
link(56,92) :- #0.38.
link(92,56) :- #0.167.
link(56,96) :- #0.185.
link(96,56) :- #0.449.
link(56,108) :- #0.093.
link(108,56) :- #0.539.
link(56,137) :- #0.035.
link(137,56) :- #0.739.
link(57,75) :- #0.645.
link(75,57) :- #0.3.
link(57,80) :- #0.418.
link(80,57) :- #0.641.
link(57,95) :- #0.665.
link(95,57) :- #0.317.
link(57,96) :- #0.702.
link(96,57) :- #0.973.
link(57,101) :- #0.01.
link(101,57) :- #0.923.
link(57,102) :- #0.701.
link(102,57) :- #0.141.
link(57,107) :- #0.188.
link(107,57) :- #0.911.
link(57,115) :- #0.785.
link(115,57) :- #0.258.
link(57,120) :- #0.912.
link(120,57) :- #0.669.
link(57,123) :- #0.202.
link(123,57) :- #0.823.
link(57,127) :- #0.237.
link(127,57) :- #0.14.
link(57,136) :- #0.133.
link(136,57) :- #0.76.
link(57,138) :- #0.242.
link(138,57) :- #0.286.
link(57,147) :- #0.555.
link(147,57) :- #0.117.
link(58,63) :- #0.788.
link(63,58) :- #0.974.
link(58,65) :- #0.135.
link(65,58) :- #0.958.
link(58,85) :- #0.193.
link(85,58) :- #0.877.
link(58,102) :- #0.1.
link(102,58) :- #0.19.
link(58,118) :- #0.75.
link(118,58) :- #0.711.
link(58,124) :- #0.095.
link(124,58) :- #0.143.
link(58,137) :- #0.15.
link(137,58) :- #0.65.
link(58,146) :- #0.034.
link(146,58) :- #0.239.
link(58,147) :- #0.851.
link(147,58) :- #0.193.
link(59,76) :- #0.771.
link(76,59) :- #0.009.
link(59,80) :- #0.97.
link(80,59) :- #0.295.
link(59,82) :- #0.349.
link(82,59) :- #0.265.
link(59,85) :- #0.155.
link(85,59) :- #0.122.
link(59,86) :- #0.677.
link(86,59) :- #0.226.
link(59,97) :- #0.095.
link(97,59) :- #0.672.
link(59,100) :- #0.647.
link(100,59) :- #0.722.
link(59,102) :- #0.656.
link(102,59) :- #0.597.
link(59,107) :- #0.148.
link(107,59) :- #0.046.
link(59,113) :- #0.426.
link(113,59) :- #0.336.
link(59,117) :- #0.801.
link(117,59) :- #0.013.
link(59,128) :- #0.445.
link(128,59) :- #0.841.
link(59,139) :- #0.751.
link(139,59) :- #0.182.
link(60,69) :- #0.761.
link(69,60) :- #0.489.
link(60,80) :- #0.95.
link(80,60) :- #0.857.
link(60,93) :- #0.963.
link(93,60) :- #0.701.
link(60,96) :- #0.362.
link(96,60) :- #0.438.
link(60,98) :- #0.954.
link(98,60) :- #0.398.
link(60,104) :- #0.492.
link(104,60) :- #0.206.
link(60,118) :- #0.67.
link(118,60) :- #0.94.
link(60,120) :- #0.1.
link(120,60) :- #0.821.
link(60,121) :- #0.584.
link(121,60) :- #0.95.
link(60,131) :- #0.621.
link(131,60) :- #0.507.
link(60,134) :- #0.304.
link(134,60) :- #0.493.
link(60,138) :- #0.378.
link(138,60) :- #0.149.
link(61,72) :- #0.119.
link(72,61) :- #0.982.
link(61,74) :- #0.389.
link(74,61) :- #0.815.
link(61,93) :- #0.56.
link(93,61) :- #0.853.
link(61,101) :- #0.505.
link(101,61) :- #0.52.
link(61,118) :- #0.008.
link(118,61) :- #0.264.
link(61,122) :- #0.478.
link(122,61) :- #0.448.
link(61,127) :- #0.641.
link(127,61) :- #0.495.
link(61,131) :- #0.645.
link(131,61) :- #0.305.
link(62,67) :- #0.118.
link(67,62) :- #0.527.
link(62,109) :- #0.663.
link(109,62) :- #0.633.
link(62,117) :- #0.604.
link(117,62) :- #0.779.
link(62,121) :- #0.451.
link(121,62) :- #0.777.
link(62,132) :- #0.229.
link(132,62) :- #0.717.
link(62,145) :- #0.393.
link(145,62) :- #0.874.
link(63,69) :- #0.893.
link(69,63) :- #0.092.
link(63,87) :- #0.356.
link(87,63) :- #0.852.
link(63,88) :- #0.048.
link(88,63) :- #0.749.
link(63,103) :- #0.063.
link(103,63) :- #0.55.
link(63,104) :- #0.698.
link(104,63) :- #0.068.
link(63,127) :- #0.328.
link(127,63) :- #0.885.
link(63,133) :- #0.37.
link(133,63) :- #0.384.
link(63,138) :- #0.326.
link(138,63) :- #0.626.
link(63,146) :- #0.058.
link(146,63) :- #0.624.
link(63,147) :- #0.883.
link(147,63) :- #0.944.
link(64,68) :- #0.525.
link(68,64) :- #0.507.
link(64,87) :- #0.213.
link(87,64) :- #0.189.
link(64,118) :- #0.737.
link(118,64) :- #0.188.
link(64,130) :- #0.282.
link(130,64) :- #0.487.
link(64,145) :- #0.249.
link(145,64) :- #0.983.
link(65,87) :- #0.926.
link(87,65) :- #0.962.
link(65,93) :- #0.92.
link(93,65) :- #0.944.
link(65,98) :- #0.141.
link(98,65) :- #0.914.
link(65,107) :- #0.458.
link(107,65) :- #0.5.
link(65,135) :- #0.936.
link(135,65) :- #0.834.
link(65,139) :- #0.755.
link(139,65) :- #0.127.
link(65,141) :- #0.11.
link(141,65) :- #0.015.
link(66,74) :- #0.17.
link(74,66) :- #0.283.
link(66,81) :- #0.392.
link(81,66) :- #0.945.
link(66,83) :- #0.584.
link(83,66) :- #0.431.
link(66,84) :- #0.925.
link(84,66) :- #0.988.
link(66,94) :- #0.028.
link(94,66) :- #0.309.
link(66,95) :- #0.915.
link(95,66) :- #0.846.
link(66,110) :- #0.476.
link(110,66) :- #0.321.
link(66,111) :- #0.846.
link(111,66) :- #0.263.
link(66,145) :- #0.414.
link(145,66) :- #0.739.
link(66,148) :- #0.586.
link(148,66) :- #0.75.
link(67,68) :- #0.329.
link(68,67) :- #0.674.
link(67,82) :- #0.467.
link(82,67) :- #0.102.
link(67,86) :- #0.176.
link(86,67) :- #0.584.
link(67,88) :- #0.285.
link(88,67) :- #0.01.
link(67,91) :- #0.392.
link(91,67) :- #0.456.
link(67,97) :- #0.918.
link(97,67) :- #0.599.
link(67,121) :- #0.358.
link(121,67) :- #0.239.
link(67,133) :- #0.571.
link(133,67) :- #0.466.
link(67,150) :- #0.502.
link(150,67) :- #0.297.
link(68,96) :- #0.736.
link(96,68) :- #0.444.
link(68,104) :- #0.142.
link(104,68) :- #0.412.
link(68,106) :- #0.992.
link(106,68) :- #0.496.
link(68,109) :- #0.737.
link(109,68) :- #0.748.
link(68,117) :- #0.047.
link(117,68) :- #0.575.
link(68,134) :- #0.396.
link(134,68) :- #0.154.
link(68,138) :- #0.043.
link(138,68) :- #0.206.
link(69,84) :- #0.464.
link(84,69) :- #0.648.
link(69,85) :- #0.272.
link(85,69) :- #0.629.
link(69,91) :- #0.872.
link(91,69) :- #0.137.
link(69,110) :- #0.981.
link(110,69) :- #0.386.
link(69,117) :- #0.952.
link(117,69) :- #0.543.
link(70,71) :- #0.25.
link(71,70) :- #0.933.
link(70,79) :- #0.078.
link(79,70) :- #0.073.
link(70,126) :- #0.376.
link(126,70) :- #0.597.
link(70,136) :- #0.809.
link(136,70) :- #0.332.
link(70,142) :- #0.534.
link(142,70) :- #0.605.
link(70,149) :- #0.317.
link(149,70) :- #0.181.
link(71,73) :- #0.574.
link(73,71) :- #0.951.
link(71,74) :- #0.532.
link(74,71) :- #0.333.
link(71,76) :- #0.622.
link(76,71) :- #0.261.
link(71,113) :- #0.163.
link(113,71) :- #0.901.
link(71,117) :- #0.216.
link(117,71) :- #0.959.
link(71,119) :- #0.347.
link(119,71) :- #0.806.
link(71,138) :- #0.077.
link(138,71) :- #0.684.
link(71,139) :- #0.961.
link(139,71) :- #0.647.
link(71,140) :- #0.591.
link(140,71) :- #0.121.
link(71,143) :- #0.338.
link(143,71) :- #0.542.
link(72,76) :- #0.772.
link(76,72) :- #0.809.
link(72,83) :- #0.493.
link(83,72) :- #0.228.
link(72,91) :- #0.848.
link(91,72) :- #0.738.
link(72,92) :- #0.601.
link(92,72) :- #0.502.
link(72,93) :- #0.039.
link(93,72) :- #0.326.
link(72,94) :- #0.094.
link(94,72) :- #0.738.
link(72,99) :- #0.073.
link(99,72) :- #0.846.
link(72,100) :- #0.765.
link(100,72) :- #0.674.
link(72,113) :- #0.063.
link(113,72) :- #0.211.
link(72,115) :- #0.875.
link(115,72) :- #0.113.
link(72,126) :- #0.782.
link(126,72) :- #0.021.
link(72,128) :- #0.788.
link(128,72) :- #0.212.
link(72,146) :- #0.733.
link(146,72) :- #0.555.
link(72,150) :- #0.652.
link(150,72) :- #0.272.
link(73,78) :- #0.662.
link(78,73) :- #0.275.
link(73,102) :- #0.352.
link(102,73) :- #0.679.
link(73,110) :- #0.052.
link(110,73) :- #0.119.
link(73,112) :- #0.388.
link(112,73) :- #0.726.
link(73,113) :- #0.273.
link(113,73) :- #0.189.
link(73,132) :- #0.538.
link(132,73) :- #0.701.
link(74,75) :- #0.347.
link(75,74) :- #0.132.
link(74,85) :- #0.669.
link(85,74) :- #0.844.
link(74,101) :- #0.995.
link(101,74) :- #0.961.
link(74,122) :- #0.729.
link(122,74) :- #0.615.
link(74,125) :- #0.775.
link(125,74) :- #0.016.
link(74,140) :- #0.804.
link(140,74) :- #0.465.
link(75,85) :- #0.725.
link(85,75) :- #0.029.
link(75,88) :- #0.831.
link(88,75) :- #0.773.
link(75,89) :- #0.034.
link(89,75) :- #0.863.
link(75,91) :- #0.638.
link(91,75) :- #0.402.
link(75,97) :- #0.675.
link(97,75) :- #0.523.
link(75,117) :- #0.983.
link(117,75) :- #0.987.
link(75,120) :- #0.77.
link(120,75) :- #0.682.
link(75,127) :- #0.035.
link(127,75) :- #0.502.
link(75,134) :- #0.194.
link(134,75) :- #0.864.
link(75,137) :- #0.892.
link(137,75) :- #0.26.
link(75,143) :- #0.903.
link(143,75) :- #0.683.
link(75,144) :- #0.341.
link(144,75) :- #0.283.
link(76,77) :- #0.666.
link(77,76) :- #0.452.
link(76,83) :- #0.822.
link(83,76) :- #0.319.
link(76,116) :- #0.977.
link(116,76) :- #0.102.
link(76,117) :- #0.784.
link(117,76) :- #0.885.
link(76,121) :- #0.439.
link(121,76) :- #0.533.
link(76,128) :- #0.03.
link(128,76) :- #0.664.
link(76,136) :- #0.685.
link(136,76) :- #0.378.
link(76,138) :- #0.935.
link(138,76) :- #0.99.
link(76,140) :- #0.178.
link(140,76) :- #0.024.
link(76,150) :- #0.158.
link(150,76) :- #0.849.
link(77,87) :- #0.926.
link(87,77) :- #0.795.
link(77,93) :- #0.838.
link(93,77) :- #0.622.
link(77,96) :- #0.232.
link(96,77) :- #0.272.
link(77,103) :- #0.671.
link(103,77) :- #0.407.
link(77,114) :- #0.094.
link(114,77) :- #0.085.
link(77,120) :- #0.361.
link(120,77) :- #0.248.
link(77,122) :- #0.392.
link(122,77) :- #0.483.
link(78,79) :- #0.952.
link(79,78) :- #0.409.
link(78,80) :- #0.835.
link(80,78) :- #0.827.
link(78,90) :- #0.662.
link(90,78) :- #0.402.
link(78,101) :- #0.887.
link(101,78) :- #0.816.
link(78,103) :- #0.054.
link(103,78) :- #0.939.
link(78,105) :- #0.144.
link(105,78) :- #0.946.
link(78,114) :- #0.363.
link(114,78) :- #0.122.
link(78,117) :- #0.592.
link(117,78) :- #0.955.
link(78,133) :- #0.451.
link(133,78) :- #0.862.
link(79,91) :- #0.533.
link(91,79) :- #0.011.
link(79,94) :- #0.233.
link(94,79) :- #0.871.
link(79,101) :- #0.203.
link(101,79) :- #0.297.
link(79,111) :- #0.34.
link(111,79) :- #0.152.
link(79,120) :- #0.957.
link(120,79) :- #0.546.
link(79,125) :- #0.673.
link(125,79) :- #0.232.
link(79,127) :- #0.543.
link(127,79) :- #0.779.
link(80,88) :- #0.17.
link(88,80) :- #0.681.
link(80,100) :- #0.339.
link(100,80) :- #0.053.
link(80,108) :- #0.283.
link(108,80) :- #0.609.
link(80,130) :- #0.301.
link(130,80) :- #0.744.
link(80,136) :- #0.129.
link(136,80) :- #0.834.
link(81,90) :- #0.818.
link(90,81) :- #0.007.
link(81,129) :- #0.169.
link(129,81) :- #0.352.
link(82,116) :- #0.198.
link(116,82) :- #0.197.
link(82,123) :- #0.243.
link(123,82) :- #0.518.
link(83,84) :- #0.299.
link(84,83) :- #0.632.
link(83,87) :- #0.374.
link(87,83) :- #0.231.
link(83,89) :- #0.032.
link(89,83) :- #0.255.
link(83,101) :- #0.604.
link(101,83) :- #0.134.
link(83,108) :- #0.498.
link(108,83) :- #0.883.
link(83,117) :- #0.046.
link(117,83) :- #0.926.
link(83,130) :- #0.061.
link(130,83) :- #0.587.
link(83,149) :- #0.992.
link(149,83) :- #0.873.
link(84,91) :- #0.417.
link(91,84) :- #0.693.
link(84,96) :- #0.492.
link(96,84) :- #0.267.
link(84,107) :- #0.942.
link(107,84) :- #0.161.
link(84,115) :- #0.81.
link(115,84) :- #0.26.
link(84,127) :- #0.127.
link(127,84) :- #0.21.
link(84,142) :- #0.303.
link(142,84) :- #0.286.
link(84,144) :- #0.793.
link(144,84) :- #0.693.
link(84,146) :- #0.843.
link(146,84) :- #0.194.
link(85,108) :- #0.793.
link(108,85) :- #0.429.
link(85,124) :- #0.074.
link(124,85) :- #0.73.
link(85,131) :- #0.977.
link(131,85) :- #0.741.
link(85,150) :- #0.791.
link(150,85) :- #0.889.
link(86,88) :- #0.12.
link(88,86) :- #0.372.
link(86,89) :- #0.109.
link(89,86) :- #0.614.
link(86,97) :- #0.892.
link(97,86) :- #0.539.
link(86,103) :- #0.939.
link(103,86) :- #0.011.
link(86,104) :- #0.783.
link(104,86) :- #0.729.
link(86,109) :- #0.65.
link(109,86) :- #0.533.
link(86,112) :- #0.404.
link(112,86) :- #0.311.
link(86,123) :- #0.585.
link(123,86) :- #0.991.
link(86,134) :- #0.934.
link(134,86) :- #0.628.
link(87,94) :- #0.828.
link(94,87) :- #0.92.
link(87,101) :- #0.526.
link(101,87) :- #0.956.
link(87,115) :- #0.069.
link(115,87) :- #0.967.
link(87,116) :- #0.607.
link(116,87) :- #0.083.
link(87,121) :- #0.524.
link(121,87) :- #0.171.
link(87,126) :- #0.643.
link(126,87) :- #0.754.
link(87,133) :- #0.306.
link(133,87) :- #0.075.
link(87,138) :- #0.675.
link(138,87) :- #0.455.
link(87,140) :- #0.773.
link(140,87) :- #0.582.
link(87,144) :- #0.852.
link(144,87) :- #0.938.
link(87,150) :- #0.78.
link(150,87) :- #0.814.
link(88,89) :- #0.028.
link(89,88) :- #0.202.
link(88,97) :- #0.172.
link(97,88) :- #0.315.
link(88,133) :- #0.973.
link(133,88) :- #0.798.
link(88,139) :- #0.809.
link(139,88) :- #0.04.
link(89,92) :- #0.828.
link(92,89) :- #0.071.
link(89,101) :- #0.98.
link(101,89) :- #0.232.
link(89,116) :- #0.41.
link(116,89) :- #0.242.
link(89,120) :- #0.777.
link(120,89) :- #0.746.
link(89,122) :- #0.001.
link(122,89) :- #0.853.
link(89,126) :- #0.278.
link(126,89) :- #0.244.
link(89,129) :- #0.311.
link(129,89) :- #0.619.
link(89,142) :- #0.671.
link(142,89) :- #0.133.
link(89,149) :- #0.618.
link(149,89) :- #0.78.
link(89,150) :- #0.552.
link(150,89) :- #0.018.
link(90,91) :- #0.41.
link(91,90) :- #0.943.
link(90,99) :- #0.981.
link(99,90) :- #0.665.
link(90,139) :- #0.449.
link(139,90) :- #0.675.
link(90,145) :- #0.589.
link(145,90) :- #0.26.
link(91,123) :- #0.535.
link(123,91) :- #0.582.
link(91,129) :- #0.475.
link(129,91) :- #0.726.
link(91,134) :- #0.784.
link(134,91) :- #0.995.
link(91,137) :- #0.377.
link(137,91) :- #0.53.
link(91,142) :- #0.008.
link(142,91) :- #0.88.
link(92,100) :- #0.857.
link(100,92) :- #0.208.
link(92,105) :- #0.536.
link(105,92) :- #0.96.
link(92,106) :- #0.012.
link(106,92) :- #0.511.
link(92,113) :- #0.048.
link(113,92) :- #0.181.
link(92,143) :- #0.646.
link(143,92) :- #0.882.
link(93,100) :- #0.78.
link(100,93) :- #0.103.
link(93,112) :- #0.275.
link(112,93) :- #0.929.
link(93,123) :- #0.897.
link(123,93) :- #0.171.
link(93,128) :- #0.868.
link(128,93) :- #0.659.
link(93,139) :- #0.112.
link(139,93) :- #0.673.
link(93,140) :- #0.627.
link(140,93) :- #0.868.
link(93,149) :- #0.536.
link(149,93) :- #0.508.
link(94,102) :- #0.311.
link(102,94) :- #0.938.
link(94,112) :- #0.672.
link(112,94) :- #0.51.
link(94,130) :- #0.861.
link(130,94) :- #0.053.
link(94,150) :- #0.794.
link(150,94) :- #0.267.
link(95,112) :- #0.181.
link(112,95) :- #0.068.
link(95,119) :- #0.197.
link(119,95) :- #0.198.
link(95,135) :- #0.546.
link(135,95) :- #0.776.
link(95,142) :- #0.141.
link(142,95) :- #0.796.
link(96,107) :- #0.934.
link(107,96) :- #0.571.
link(96,108) :- #0.255.
link(108,96) :- #0.531.
link(96,116) :- #0.694.
link(116,96) :- #0.552.
link(96,117) :- #0.653.
link(117,96) :- #0.205.
link(96,127) :- #0.982.
link(127,96) :- #0.202.
link(96,132) :- #0.662.
link(132,96) :- #0.584.
link(96,138) :- #0.797.
link(138,96) :- #0.237.
link(97,126) :- #0.49.
link(126,97) :- #0.875.
link(97,146) :- #0.713.
link(146,97) :- #0.083.
link(98,117) :- #0.146.
link(117,98) :- #0.982.
link(98,146) :- #0.494.
link(146,98) :- #0.321.
link(99,115) :- #0.695.
link(115,99) :- #0.021.
link(100,124) :- #0.006.
link(124,100) :- #0.148.
link(100,126) :- #0.506.
link(126,100) :- #0.266.
link(100,148) :- #0.64.
link(148,100) :- #0.329.
link(101,112) :- #0.308.
link(112,101) :- #0.595.
link(101,117) :- #0.966.
link(117,101) :- #0.857.
link(101,126) :- #0.898.
link(126,101) :- #0.611.
link(101,134) :- #0.489.
link(134,101) :- #0.775.
link(101,145) :- #0.58.
link(145,101) :- #0.515.
link(102,105) :- #0.161.
link(105,102) :- #0.688.
link(102,131) :- #0.358.
link(131,102) :- #0.548.
link(102,141) :- #0.021.
link(141,102) :- #0.934.
link(103,107) :- #0.542.
link(107,103) :- #0.531.
link(103,115) :- #0.012.
link(115,103) :- #0.23.
link(103,120) :- #0.376.
link(120,103) :- #0.742.
link(103,129) :- #0.195.
link(129,103) :- #0.749.
link(103,141) :- #0.301.
link(141,103) :- #0.791.
link(104,107) :- #0.341.
link(107,104) :- #0.779.
link(104,109) :- #0.118.
link(109,104) :- #0.324.
link(104,119) :- #0.058.
link(119,104) :- #0.57.
link(104,132) :- #0.232.
link(132,104) :- #0.545.
link(104,133) :- #0.267.
link(133,104) :- #0.235.
link(104,136) :- #0.936.
link(136,104) :- #0.771.
link(104,148) :- #0.165.
link(148,104) :- #0.058.
link(105,115) :- #0.639.
link(115,105) :- #0.288.
link(105,116) :- #0.811.
link(116,105) :- #0.74.
link(105,118) :- #0.861.
link(118,105) :- #0.808.
link(105,119) :- #0.763.
link(119,105) :- #0.5.
link(105,135) :- #0.575.
link(135,105) :- #0.014.
link(105,147) :- #0.564.
link(147,105) :- #0.946.
link(106,116) :- #0.162.
link(116,106) :- #0.379.
link(106,126) :- #0.525.
link(126,106) :- #0.004.
link(106,134) :- #0.256.
link(134,106) :- #0.228.
link(106,136) :- #0.761.
link(136,106) :- #0.004.
link(107,116) :- #0.414.
link(116,107) :- #0.271.
link(107,117) :- #0.402.
link(117,107) :- #0.516.
link(107,125) :- #0.879.
link(125,107) :- #0.79.
link(107,129) :- #0.908.
link(129,107) :- #0.402.
link(107,130) :- #0.194.
link(130,107) :- #0.605.
link(108,126) :- #0.341.
link(126,108) :- #0.361.
link(108,129) :- #0.761.
link(129,108) :- #0.67.
link(108,143) :- #0.897.
link(143,108) :- #0.512.
link(109,120) :- #0.247.
link(120,109) :- #0.036.
link(109,122) :- #0.188.
link(122,109) :- #0.076.
link(109,128) :- #0.381.
link(128,109) :- #0.219.
link(109,131) :- #0.185.
link(131,109) :- #0.318.
link(109,145) :- #0.901.
link(145,109) :- #0.144.
link(109,147) :- #0.109.
link(147,109) :- #0.625.
link(110,113) :- #0.325.
link(113,110) :- #0.624.
link(110,126) :- #0.19.
link(126,110) :- #0.111.
link(110,136) :- #0.569.
link(136,110) :- #0.243.
link(110,138) :- #0.217.
link(138,110) :- #0.68.
link(111,117) :- #0.125.
link(117,111) :- #0.772.
link(111,122) :- #0.536.
link(122,111) :- #0.07.
link(111,126) :- #0.435.
link(126,111) :- #0.51.
link(111,131) :- #0.94.
link(131,111) :- #0.572.
link(111,133) :- #0.69.
link(133,111) :- #0.911.
link(112,122) :- #0.133.
link(122,112) :- #0.561.
link(112,125) :- #0.771.
link(125,112) :- #0.131.
link(112,129) :- #0.837.
link(129,112) :- #0.668.
link(112,130) :- #0.364.
link(130,112) :- #0.108.
link(113,118) :- #0.405.
link(118,113) :- #0.673.
link(113,125) :- #0.919.
link(125,113) :- #0.94.
link(113,147) :- #0.211.
link(147,113) :- #0.39.
link(114,117) :- #0.635.
link(117,114) :- #0.7.
link(114,130) :- #0.131.
link(130,114) :- #0.971.
link(114,139) :- #0.623.
link(139,114) :- #0.841.
link(114,148) :- #0.862.
link(148,114) :- #0.834.
link(115,117) :- #0.182.
link(117,115) :- #0.646.
link(115,120) :- #0.487.
link(120,115) :- #0.714.
link(115,127) :- #0.307.
link(127,115) :- #0.165.
link(115,128) :- #0.768.
link(128,115) :- #0.945.
link(115,133) :- #0.25.
link(133,115) :- #0.932.
link(115,136) :- #0.881.
link(136,115) :- #0.793.
link(115,141) :- #0.857.
link(141,115) :- #0.997.
link(116,117) :- #0.32.
link(117,116) :- #0.529.
link(116,125) :- #0.31.
link(125,116) :- #0.946.
link(116,138) :- #0.066.
link(138,116) :- #0.485.
link(117,145) :- #0.667.
link(145,117) :- #0.423.
link(118,123) :- #0.947.
link(123,118) :- #0.942.
link(118,144) :- #0.59.
link(144,118) :- #0.06.
link(119,135) :- #0.857.
link(135,119) :- #0.7.
link(119,142) :- #0.031.
link(142,119) :- #0.572.
link(120,142) :- #0.651.
link(142,120) :- #0.15.
link(121,123) :- #0.325.
link(123,121) :- #0.478.
link(121,136) :- #0.486.
link(136,121) :- #0.763.
link(121,138) :- #0.416.
link(138,121) :- #0.361.
link(121,147) :- #0.991.
link(147,121) :- #0.035.
link(122,127) :- #0.536.
link(127,122) :- #0.794.
link(122,149) :- #0.262.
link(149,122) :- #0.958.
link(123,126) :- #0.834.
link(126,123) :- #0.782.
link(123,144) :- #0.534.
link(144,123) :- #0.184.
link(124,145) :- #0.701.
link(145,124) :- #0.584.
link(124,146) :- #0.741.
link(146,124) :- #0.977.
link(125,142) :- #0.282.
link(142,125) :- #0.683.
link(125,143) :- #0.647.
link(143,125) :- #0.163.
link(125,145) :- #0.965.
link(145,125) :- #0.806.
link(125,149) :- #0.061.
link(149,125) :- #0.133.
link(126,138) :- #0.202.
link(138,126) :- #0.021.
link(128,133) :- #0.77.
link(133,128) :- #0.219.
link(128,136) :- #0.418.
link(136,128) :- #0.72.
link(128,144) :- #0.419.
link(144,128) :- #0.733.
link(129,132) :- #0.997.
link(132,129) :- #0.682.
link(129,134) :- #0.003.
link(134,129) :- #0.642.
link(129,142) :- #0.533.
link(142,129) :- #0.574.
link(130,133) :- #0.963.
link(133,130) :- #0.231.
link(131,140) :- #0.911.
link(140,131) :- #0.095.
link(132,134) :- #0.896.
link(134,132) :- #0.569.
link(133,140) :- #0.078.
link(140,133) :- #0.264.
link(133,144) :- #0.493.
link(144,133) :- #0.908.
link(133,146) :- #0.006.
link(146,133) :- #0.041.
link(134,140) :- #0.859.
link(140,134) :- #0.812.
link(135,136) :- #0.678.
link(136,135) :- #0.809.
link(135,137) :- #0.457.
link(137,135) :- #0.621.
link(135,149) :- #0.53.
link(149,135) :- #0.239.
link(136,147) :- #0.454.
link(147,136) :- #0.447.
link(138,144) :- #0.745.
link(144,138) :- #0.485.
link(140,146) :- #0.696.
link(146,140) :- #0.804.
link(141,149) :- #0.707.
link(149,141) :- #0.524.
link(142,145) :- #0.191.
link(145,142) :- #0.258.
link(143,147) :- #0.661.
link(147,143) :- #0.162.
link(146,148) :- #0.267.
link(148,146) :- #0.341.
colour(red0).
colour(green0).
colour(blue0).
colour(yellow0).
colour(cyan0).
